Sylow's theorem in group theory